Efflorescence Phenomenon on Concrete Structures

Concrete data structures as games

A result by Curien establishes that filiform concrete data structures can be viewed as games. We extend the idea to cover all stable concrete data structures. This necessitates a theory of games with an equivalence relation on positions. We present a faithful functor from the category of concrete data structures to this new category of games, allowing a game-like reading of the former. It is po...

Cast-in-place Concrete Parking Structures Advantages of Cast-in-place Concrete Parking Structures

Damage Detection of Reinforced Concrete Structures Based on Concrete-steel Interface Element

The interface between concrete and steel in reinforced concrete governs the interaction between the two types of materials under loading. When the interface is seriously damaged, such that a macro-crack is formed, de-bonding takes place or large slip occurs, and the load-transferring capacity of the interface will drop dramatically. In this study, a vibration-based method is presented to detect...

Continuous Functions and Parallel Algorithms on Concrete Data Structures

We report progress in two closely related lines of research: the semantic study of sequentiality and parallelism, and the development of a theory of intensional semantics. We generalize Kahn and Plotkin's concrete data structures to obtain a cartesian closed category of generalized concrete data structures and continuous functions. The generalized framework continues to support a de nition of s...

Guidebook on non - destructive testing of concrete structures